//接口定义每条数据类型
export interface todoType{
    id:string,
    thing:string,
    done:boolean,
}
//定义todoList的类型
export type todoListType = todoType[];
